1. Kurt Godel : essays for his centennial
پدیدآورنده: edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
33
2. Logic and combinatorics
پدیدآورنده: [Edited by]& Stephen G. Simpson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
